401. Set theory and model theory: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
3
.
L28
no
.
872
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
402. Set theory and model theory : proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Set theory,Congresses ، Model theory
رده :
QA
1
.
L4
v
.
872
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
403. Set theory and model thoery: proceedings of an informal symposium held at Bonn, June 1-3, 1979
پدیدآورنده : edited by R.B. Jensen and A. Prestel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory,Model thoery - Congresses
رده :
QA
3
.
L28
no
.
872
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
404. Set theory and related topics
پدیدآورنده : Lipschutz, Seymour
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Set theory
رده :
QA
248
.
L4S4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
405. Set theory and related topics : advanced course in set theory
پدیدآورنده : Gupta, Keshawa Prasad
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory
رده :
QA
248
.
G9
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
406. Set theory and syntactic description
پدیدآورنده : Cooper, William S.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematical linguistics
رده :
P
123
.
C6
1974
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
407. Set Theory and the continuum hypothesis
پدیدآورنده : Cohen, paul 4391-
موضوع : ، Set Theory,، Logic Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
408. Set theory and the continuum hypothesis
پدیدآورنده : Cohen, Paul J. 4391-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
QA
9
.
C6
S4
1977
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
409. Set theory and the continuum hypothesis
پدیدآورنده : Cohen, Paul J., 4391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical,، Continuum hypothesis
رده :
QA
9
.
C638S4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
410. Set theory and the continuum problem
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Continuum hypothesis
رده :
QA
248
.
S6
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
411. Set theory and the number systems
پدیدآورنده : Kinsolving, May Risch
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,Arithmetic -Foundations
رده :
QA
248
.
K43
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
412. Set theory and topology
پدیدآورنده : Nanzetta, Philip.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Set theory,، Topology
رده :
QA
248
.
N28
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
413. Set theory by programmed learning
پدیدآورنده : / Horst G. Malle
موضوع :
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
414. Set theory : exploring independence and truth
پدیدآورنده : Schindler, Ralf-Dieter, 5691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
S34S4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
415. Set theory for computing : from decision procedures to declarative programming with sets
پدیدآورنده : Cantone, Domenico
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Computable functions
رده :
QA
248
.
C26S4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
416. Set theory for the working mathematician
پدیدآورنده : Ciesielski, Krzysztof, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory
رده :
QA
248
.
C52
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
417. Set theory for the working mathematician
پدیدآورنده : Ciesielski, Krzysztof
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Set theory
رده :
QA
248
.
C475
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
418. Set theory, logic and their limitations
پدیدآورنده : Machover, Moshe
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
M22S4
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
419. Set theory of the continuum
پدیدآورنده : H. Judah, W. Just, H. Woodin, editors
کتابخانه: کتابخانه مرکزی و مرکز اسناد شهید مطهری دانشگاه ولی عصر(عج) (کرمان)
موضوع : Set theory -- Congresses
رده :
QA
248
.
S414
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
420. Set theory of the continuum
پدیدآورنده : H. Judab, W. Just, H. Woodin, editors
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Set theory
رده :
QA
248
.
S414
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)